Concurrency: Simple Concepts and Powerful Tools

Characterizing Comprehension of Concurrency Concepts

A comprehensive understanding of students' common difficulties in understanding synchronization and concurrency is a prerequisite for developing tools and educational materials to alleviate these difficulties. In this paper we briefly present a study through which we identified students’ misconceptions about concurrency and synchronization, categorized their misunderstandings into a misconcepti...

Concurrency Makes Simple Theories Hard

A standard way of building concurrent systems is by composing several individual processes by product operators. We show that even the simplest notion of product operators (i.e. asynchronous products) suffices to increase the complexity of model checking simple logics like HennessyMilner (HM) logic and its extension with the reachability operator (EF-logic) from PSPACE to nonelementary. In part...

FAD, a Powerful and Simple Database Language

FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its programs (defined in terms of operators and predicates). The primary features of the language are (i) the support of complex objects with built-in notion of object identity; (ii) an abstract data type capability; (iii) ...

Software Documents: Concepts and Tools

In this paper, we review software development as a document-based process, with the capture of a full but ideal development history as the assumed purpose of the documents concerned. We identify generic requirements for perusal, editing and veriication of such documents, and illustrate how these requirements could be met in a software development environment based on current interaction technol...

Concepts, Methodologies, Tools, and Applications